Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
111	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
112	AcaStat Output - Tuesday, March 24, 2015 FILE DATA DICTIONARY (As of Tuesday, March 24, 2015) ________________________________________________________________________________ File Name: Add to Reading List Source URL: www.acastat.com Language: English - Date: 2015-03-24 15:41:58 Type theory Dependent and independent variables Mathematics Variables Regression analysis
113	Functional Group Methods Ann E. Hagerman © 2002 These methods are dependent on the chemical reactivity of the functional groups characteristic of a given type of tannin. These methods are Add to Reading List Source URL: www.users.miamioh.edu - Date: 2011-01-12 14:30:45
114	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
115	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
116	Retraction: Calmodulin kinase determines calcium-dependent facilitation of L-type calcium channels Add to Reading List Source URL: www.nature.com Language: English - Date: 2015-03-27 06:08:04 Ion channels Calcium signaling Signal transduction Ca2+/calmodulin-dependent protein kinase Cav1.2 Calcium channel Retraction Calcium in biology Deformation retract Biology Cell biology Biochemistry
117	ADS-B Regulator’s Workshop – IP[removed]International Civil Aviation Organization REGULATOR’S WORKSHOP ON ADS-B AVIONICS EQUIPAGE REQUIREMENTS Add to Reading List Source URL: www.icao.int Language: English - Date: 2013-04-30 16:53:22 Air safety Avionics Radar Automatic dependent surveillance-broadcast Secondary surveillance radar European Aviation Safety Agency Airworthiness Type certificate Air traffic control Aviation Transport
118	Dependent Types in Practical (Extended Programming* Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2001-01-30 15:56:16 Type theory Functional languages Data types Procedural programming languages Functional programming Standard ML Type system ML System F Software engineering Programming language theory Computing
119	Microsoft PowerPoint - SP06_AUS - ADS-B Equipage approval process.ppt Add to Reading List Source URL: www.icao.int Language: English - Date: 2013-04-30 16:53:13 Automatic dependent surveillance-broadcast Transport Type certificate Airservices Australia Air traffic control Avionics Aviation
120	ADS-B Workshop – SP/2 1090ES ADS-B Approval by CAAC Mr. Yang Honghai and Ms. Chen Ye from CAAC Add to Reading List Source URL: www.icao.int Language: English - Date: 2013-04-30 16:53:11 Aviation Type certificate Secondary surveillance radar UAT Transport Technology Air traffic control Avionics Automatic dependent surveillance-broadcast

UPDATE